ROAS 6000L - Formal methods for dynamic systems (3 units)

SectionDate & TimeRoomInstructorQuotaEnrolAvailWaitRemarks
L01 (6533) Mo 09:00AM - 11:50AMRm 201, W1JI, Yiding201280